软件维护工作包括多种类型，其中( )的目的是检测并更正软件产品中的潜在错误，防止它们成为实际错误。